Extensible Records, Structural Subtyping, Label Constraints, Polymorphic Variants

Show HN: rstructor, Pydantic+instructor for Rust
github.com·1h·
Discuss: Hacker News
Gleam
Flag this post
Understanding Primary Keys in Relational Databases: A Key to Data Integrity and Fast Lookups
dev.to·13h·
Discuss: DEV
🗄️Database Engines
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·5h·
🗂️Type Indexing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
🔒Rust Borrowing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·19h·
Type Checking
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Oops, My UUIDs Collided
alexsci.com·1h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·21h·
Discuss: DEV
🎯Pattern Matching
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·1d
📋Tablegen
Flag this post
Types of Metadata Schemas
accidental-taxonomist.blogspot.com·6h·
🌐Web Standards
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📚Forth Compilers
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·19h·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
reddit.com·1d·
Discuss: r/golang
📦Dependency Analysis
Flag this post
How to Use the VALUE Function in Microsoft Excel
howtogeek.com·22h
Incremental Parsing
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Down with template (or not)!
cedardb.com·20h
📋Template Compilers
Flag this post
FinAuditing: A Financial Taxonomy-Structured Multi-Document Benchmark forEvaluating LLMs
paperium.net·7h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
College football best bets Week 10: Picks for Georgia-Florida, Tennessee-Oklahoma and more
nytimes.com·5h
🧮Combinator Calculus
Flag this post